Nuprl Definition : eclor
11,40
postcript
pdf
eclor(
a
;
b
) == inr inr inr (inl <
a
,
b
> )
latex
Definitions
inr
x
,
inl
x
,
<
a
,
b
>
FDL editor aliases
eclor, eclor
origin